Reasoning Tasks and Mediation on Choreography and Orchestration in WSMO
نویسنده
چکیده
The Web Service Modelling Ontology (WSMO) semantically describes the core elements of Semantic Web Services, aiming at a framework for unambiguous formal descriptions on which inference mechanisms shall enable automated discovery, composition, execution and invocation of Web Services. Choreography and Orchestration are defined as sub-classes of service interface for describing how the functionality of a Web Service can be consumed and how it is achieved by aggregating other Web Services. Therefore, a basic model for formally describing the dynamics of service interface descriptions has been defined. This paper discusses the usability of the mentioned model by identifying the main reasoning tasks for choreography and orchestration descriptions as well as the requirements on mediation facilities in order to handle possible occurring mismatches in WSMO service interfaces.
منابع مشابه
WSMO Choreography: From Abstract State Machines to Concurrent Transaction Logic
Several approaches to semantic Web services, including OWLS, SWSF, and WSMO, have been proposed in the literature with the aim to enable automation of various tasks related to Web services, including discovery, contracting, enactment, monitoring, and mediation. The ability to specify processes and to reason about them is central to these initiatives. In this paper we analyze the WSMO choreograp...
متن کامل3-Level Service Composition and Cashew: A Model for Orchestration and Choreography in Semantic Web Services
There are two types of behavioural model in the WSMO semantic description of services: an orchestration and a choreography, together called the interface. While an orchestration defines a service’s behaviour as a composition of existing parts, a choreography is intended to document the conversation of messages exchanged with a single client. In this paper we present a three-level model for beha...
متن کامل3-Level Behavioural Models for Semantic Web Services
There are two types of behavioural model in the WSMO semantic description of services: an orchestration and a choreography, together called the interface. While an orchestration defines a service’s behaviour as a composition of existing parts, a choreography is intended to document the conversation of messages exchanged with its client. In this paper we present a three-level model for behaviour...
متن کاملImprovements and Future Perspectives on Web Engineering Methods for Automating Web Services Mediation, Choreography and Discovery: SWS-challenge phase III
In this paper we describe the improvements and the future perspective on our approach to Web services mediation, choreography, and discovery presented at the SWS Challenge 2006. We summarize the main features of or solution, based on the WebML design methodology and Glue WSMO discovery engine. Then, we discuss the current improvements given to the solution for Phase III of the challenge, and th...
متن کامل